（来源：上观新闻）
比如，就在本🥧🚎周，我❄🦂们刚刚宣布🔗，那位做了🇧🇦🤜开源Code🧫👀x Mon🏌🍇itor的Th👨💼🏣omas本月将🐯🏉加入我的团🇧🇫队🌚⏩。采访一开篇，主持🍥人Dwark😹🔓esh🚰🐺 Pate🦋l就抛🖇📔出了一个犀利的问🛍🇬🇪题：英伟达本👐质上只是在写👱软件，芯片由🕖🧡台积电🏭🚧代工，内存由S🤒🐗K海力士和👖🍃三星提🕎😤供，组装交给台湾🏀ODM🇧🇧👩⚖️。
在 LLM 🏢时代，如何让🇱🇸形式化方法的脚步🦌😤快速跟上编程智能🗡⛲体的发展速度变😜得越发重要🗓💀。它们的软件虽然专🇧🇱🌅业，但部署在🏚👨👩👧👦本地，对设计师👸电脑配置要求极⭕高，而且渲染🧀🇦🇪一张效果图动辄➡几个小时甚至🎶一天🚨🖥。另外一个特别的🕙地方是🐐，拼多多是除🇯🇲了外卖御三家♈🏯之外，🥨🎓违规店铺👦🐨数量最多的🍄。我在这里的一🇬🇼位研究员安德烈🥾给过我一🇨🇴条很好的建议：☮在OpenAI🌆，你要么做短🏮⛔期规划，要么做长🇱🇸期规划，绝不🧵做中期规划🧝♀️👌，因为太难了🇳🇦。
